w:World. w-discrete-constraint(w)   

latex

Definitions	x:A. B(x), t  T, , w-discrete-constraint(w), P  Q, P & Q, , A  B, A, False, S  T, suptype(S; T), x. t(x), x,y. t(x;y), t.1, t.2, x(s), x(s1,s2), EState(T), w-automaton(T;TA;M), vartype(i;x)
Lemmas	Id wf, assert wf, w-discrete wf, constant function wf, rationals wf, w-T wf, w-s wf, le wf, w-vartype wf, Knd wf, kindcase wf, w-TA wf, w-M wf, IdLnk wf, EState wf, world wf, w-machine wf, w-automaton wf